#ifndef __MC31xx_HAL_MANAGER_H
#define __MC31xx_HAL_MANAGER_H

#include "mc31xx_hal_def.h"

void HAL_Thread_Init(void);

#endif
